to trisect a given angle